#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const ll N=1e5+5;
ll arr[N];
bool price[N];
int main(){
	ios::sync_with_stdio(0),cin.tie(0),cout.tie(0);
	price[0]=price[1]=true;
	for (ll i=2;i<N;i++){
		if (!price[i])
		{
			for (ll j=i*i;j<N;j+=i){
				price[j]=true;
			}
		}
	}
	if (!price[9])cout<<"Yes";
	return 0;
} 
